void device_name(unsigned char *device)
{
unsigned char eeprom *EEPROM_pointer;
unsigned char i = 0;

EEPROM_pointer = (unsigned char eeprom *)0x00;

do
    {
    device[i] = *EEPROM_pointer++;
    } while ((device[i++] > 0) && (i < 16));
}

void store_device_name(unsigned char *device)
{
unsigned char eeprom *EEPROM_pointer;
unsigned char i = 0;

EEPROM_pointer = (unsigned char eeprom *)0x00;

do
    {
    *EEPROM_pointer++ = device[i];
    } while (device[i++] > 0);
}